cot(x) integration